]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0141b66) | patch
overview: Avoid sync_pointer after pop_modal()
authorCarlos Garnacho <carlosg@gnome.org>
Fri, 18 Dec 2020 12:24:55 +0000 (13:24 +0100)
committerMarge Bot <marge-bot@gnome.org>
Sun, 14 Feb 2021 13:57:56 +0000 (13:57 +0000)
commitcbde13fc657c3da40eff36ad248394fe3142b35c
tree5420448f4c4dceb47523cee00c5a7a6355951658tree | snapshot
parent0141b66d23cf0e140a44c33963e00fa5a147d396commit | diff
overview: Avoid sync_pointer after pop_modal()

This is only necessary for the X11 backend (as grabs triggered by other
clients leave GNOME Shell oblivious of the actual pointer position), but
is now handled inside Mutter.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1556>
js/ui/overview.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.